айтылыштарды эсептөө Кыргызско-русский словарь математических терминов (1996) исчисление высказываний